Fiadeiro, José L.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Business process management

Schahram Dustdar, José Luiz Fiadeiro, Amit Sheth

Journal:

Data & Knowledge Engineering

Year:

2008

Language:

english

File:

PDF, 132 KB

english, 2008

2

Role-based Architectural Modelling of Socio-Technical Systems

Osama El-Hassan, José Luiz Fiadeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 325 KB

english, 2007

3

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 4409 || Algebraic Semantics of Service Component Modules

Fiadeiro, José Luiz, Schobbens, Pierre-Yves

Year:

2007

Language:

english

File:

PDF, 410 KB

english, 2007

4

Interactions of ink colourants with chemically modified paper surfaces concerning inkjet print improvement

Sousa, Sónia, Gamelas, José António, de Oliveira Mendes, António, Fiadeiro, Paulo Torrão, Ramos, Ana

Journal:

Materials Chemistry and Physics

Year:

2013

Language:

english

File:

PDF, 703 KB

english, 2013

5

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 4961 ||

Fiadeiro, José Luiz, Inverardi, Paola

Year:

2008

Language:

english

File:

PDF, 12.48 MB

english, 2008

6

[ACM Press Companion of the 17th annual ACM SIGPLAN conference - Seattle, Washington (2002.11.04-2002.11.08)] Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02 - Developing and evolving Java applications using coordination contracts

Gouveia, João, Koutsoukos, Georgios, Wermelinger, Michel, Andrade, Luís, Fiadeiro, Jose Luiz

Year:

2002

Language:

english

File:

PDF, 315 KB

english, 2002

7

Logics for Actor Networks: A two-stage constrained-hybridisation approach

Fiadeiro, José Luiz, Ţuţu, Ionuţ, Lopes, Antónia, Pavlovic, Dusko

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 929 KB

english, 2019

8

Towards object-oriented conceptual modeling

Cristina Sernadas, José Fiadeiro

Journal:

Data & Knowledge Engineering

Year:

1991

Language:

english

File:

PDF, 1.85 MB

english, 1991

9

Modular construction of logic knowledge bases: An algebraic approach

Cristina Sernadas, José Fiadeiro, Amílcar Sernadas

Journal:

Information Systems

Year:

1990

Language:

english

File:

PDF, 2.63 MB

english, 1990

10

Adding Mobility to Software Architectures

Antónia Lopes, José Luiz Fiadeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 229 KB

english, 2004

11

Modelling the GSM Handover Protocol in CommUnity

Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 818 KB

english, 2005

12

From Architectural to Behavioural Specification of Services

Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 590 KB

english, 2009

13

Adding mobility to software architectures

Antónia Lopes, José Luiz Fiadeiro

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 1.26 MB

english, 2006

14

Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation

Paula Severi, José Fiadeiro, David Ekserdjian

Journal:

Web Semantics: Science, Services and Agents on the World Wide Web

Year:

2011

Language:

english

File:

PDF, 1.20 MB

english, 2011

15

On local modularity and interpolation in entailment systems

Paulo A.S. Veloso, José L. Fiadeiro, Sheila R.M. Veloso

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 112 KB

english, 2002

16

Foreword

José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 182 KB

english, 2003

17

A graph transformation approach to software architecture reconfiguration

Michel Wermelinger, José Luiz Fiadeiro

Journal:

Science of Computer Programming

Year:

2002

Language:

english

File:

PDF, 276 KB

english, 2002

18

Agility through coordination

Luı́s Filipe Andrade, José Luiz Fiadeiro

Journal:

Information Systems

Year:

2002

Language:

english

File:

PDF, 144 KB

english, 2002

19

A computational tool that supports formal diagnosis of process design

Pedro Ramos, Jose Luiz Fiadeiro

Journal:

Information and Software Technology

Year:

1998

Language:

english

File:

PDF, 397 KB

english, 1998

20

Superposition: Composition vs Refinement of Non-deterministic, Action-Based Systems

Antónia Lopes, José Luiz Fiadeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

File:

PDF, 711 KB

2002

21

Dermatitis Herpetiformis: Should Direct Immunofluorescence Be the Only Diagnostic Criterion?

Lourdes Sousa, Rui Bajanca, José Cabral, Teresa Fiadeiro

Journal:

Pediatric Dermatology

Year:

2002

Language:

english

File:

PDF, 134 KB

english, 2002

22

Specification and verification of database dynamics

José Fiadeiro, Amílcar Sernadas

Journal:

Acta Informatica

Year:

1988

Language:

english

File:

PDF, 2.02 MB

english, 1988

23

Superposition: composition vs refinement of non-deterministic, action-based systems

Antónia Lopes, José Luiz Fiadeiro

Journal:

Formal Aspects of Computing

Year:

2004

Language:

english

File:

PDF, 265 KB

english, 2004

24

An abstract model of service discovery and binding

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 1.70 MB

english, 2011

25

The INFOLOG linear tense propositional logic of events and transactions

José Fiadeiro, Amílcar Sernadas

Journal:

Information Systems

Year:

1986

Language:

english

File:

PDF, 2.52 MB

english, 1986

26

Enzymatic removal of plant residues from wool: Application of experimental design techniques for optimization parameters

Isabel C. Gouveia, José M. Fiadeiro, João A. Queiroz

Journal:

Biochemical Engineering Journal

Year:

2008

Language:

english

File:

PDF, 1.96 MB

english, 2008

27

Preface

José Fiadeiro, Jan Rutten

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 107 KB

english, 2006

28

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 1589 || Concurrency and Data Types: A Specification Method An Example with LOTOS

Fiadeiro, José Luiz

Year:

1999

Language:

english

File:

PDF, 368 KB

english, 1999

29

A formal model for service-oriented interactions

José Fiadeiro, Antónia Lopes, João Abreu

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 2.09 MB

english, 2012

30

Designing for Software's Social Complexity

Jose Luiz Fiadeiro

Journal:

Year:

2007

Language:

english

File:

PDF, 821 KB

english, 2007

31

Guest Editors' Introduction: Evolving Critical Systems

Coyle, Lorcan, Hinchey, Mike, Nuseibeh, Bashar, Fiadeiro, José Luiz

Journal:

Year:

2010

Language:

english

File:

PDF, 2.32 MB

english, 2010

32

[Lecture Notes in Computer Science] Business Process Management Volume 4102 || A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes

Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit P.

Year:

2006

Language:

english

File:

PDF, 361 KB

english, 2006

33

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 4961 || Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services

Fiadeiro, José Luiz, Inverardi, Paola

Year:

2008

Language:

english

File:

PDF, 588 KB

english, 2008

34

A model for dynamic reconfiguration in service-oriented architectures

Fiadeiro, José Luiz, Lopes, Antónia

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 911 KB

english, 2013

35

[Lecture Notes in Computer Science] Business Process Management Volume 4102 || Managing Process Variants as an Information Resource

Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit P.

Year:

2006

Language:

english

File:

PDF, 240 KB

english, 2006

36

[Lecture Notes in Computer Science] Business Process Management Volume 4102 || On the Suitability of BPMN for Business Process Modelling

Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit P.

Year:

2006

Language:

english

File:

PDF, 397 KB

english, 2006

37

[Lecture Notes in Computer Science] Business Process Management Volume 4102 || Retracted: Towards Formal Verification of Web Service Composition

Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit P.

Year:

2006

Language:

english

File:

PDF, 602 KB

english, 2006

38

[Lecture Notes in Computer Science] Business Process Management Volume 4102 || Diagnosing SCA Components Using Wombat

Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit P.

Year:

2006

Language:

english

File:

PDF, 651 KB

english, 2006

39

Brazilian Symposium on Programming Languages (SBLP 2011)

Braga, Christiano, Fiadeiro, José Luiz

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 227 KB

english, 2014

40

An interface theory for service-oriented design

Fiadeiro, José Luiz, Lopes, Antónia

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 1.15 MB

english, 2013

41

[Lecture Notes in Computer Science] Business Process Management Volume 4102 || Formalizing Service Interactions

Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit P.

Year:

2006

Language:

english

File:

PDF, 303 KB

english, 2006

42

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8348 || Modeling and Analysis of Component Connectors in Coq

Fiadeiro, José Luiz, Liu, Zhiming, Xue, Jinyun

Year:

2014

Language:

english

File:

PDF, 446 KB

english, 2014

43

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8348 || Towards a Failure Model of Software Components

Fiadeiro, José Luiz, Liu, Zhiming, Xue, Jinyun

Year:

2014

Language:

english

File:

PDF, 503 KB

english, 2014

44

[Lecture Notes in Computer Science] Business Process Management Volume 4102 || An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior

Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit P.

Year:

2006

Language:

english

File:

PDF, 258 KB

english, 2006

45

[Lecture Notes in Computer Science] Business Process Management Volume 4102 || Analyzing Interacting BPEL Processes

Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit P.

Year:

2006

Language:

english

File:

PDF, 528 KB

english, 2006

46

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - Service-Oriented Modelling of Automotive Systems

Bocchi, Laura, Fiadeiro, José Luiz, Lopes, Antónia

Year:

2008

Language:

english

File:

PDF, 969 KB

english, 2008

47

[ACM Press the first workshop - Charleston, South Carolina (2002.11.18-2002.11.19)] Proceedings of the first workshop on Self-healing systems - WOSS '02 - An architectural support for self-adaptive software for treating faults

de Lemos, Rogério, Fiadeiro, José Luiz

Year:

2002

Language:

english

File:

PDF, 53 KB

english, 2002

48

[Lecture Notes in Computer Science] Business Process Management Volume 4102 ||

Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit P.

Year:

2006

Language:

english

File:

PDF, 10.48 MB

english, 2006

49

[Lecture Notes in Computer Science] Business Process Management Volume 4102 || IT Support for Release Management Processes in the Automotive Industry

Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit P.

Year:

2006

Language:

english

File:

PDF, 493 KB

english, 2006

50

[IEEE 2011 34th Annual IEEE Software Engineering Workshop (SEW) - Limerick, Ireland (2011.06.20-2011.06.21)] 2011 IEEE 34th Software Engineering Workshop - Variability and Rigour in Service Computing Engineering

ter Beek, Maurice H., Gnesi, Stefania, Fantechi, Alessandro, Fiadeiro, Jose L.

Year:

2011

Language:

english

File:

PDF, 149 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски